// { dg-additional-options "-fmodules-ts" }

import M;

int main() {
  return foo.size();
}
